From fef041704f0ae52f203fe1de6cac9bde891fbb21 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 8 Jul 2008 14:36:05 +0200 Subject: [PATCH] Clean more files --- debian/clean | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/clean b/debian/clean index e2d10dd0..22a7a765 100644 --- a/debian/clean +++ b/debian/clean @@ -4,6 +4,8 @@ _log byterun/libcamlrun_shared.so camlp4/config/Makefile camlp4/config/Makefile.cnf +config/config.debian.install.sh +config/config.sh config/Makefile config/m.h config/s.h @@ -11,3 +13,4 @@ debian/README.labltk driver/ocamlcomp.sh emacs/ocamltags myocamlbuild_config.ml +tools/myocamlbuild_config.ml -- 2.30.2